Skip to main content

Z3 GuideSMTLIB Tutorial Programming Z3 Playground

Z3 JavaScript
Z3 Python - Readonly
Example Programs
Parameters
API Reference
Proof Logs
Local Search

API Reference

API Reference

API Reference

Refer to Z3 API references for Z3 code documentation.

API Reference

More Z3

Programming Z3 in Python
Z3 on GitHub
Acknowledgments

Z3 Material

API
Slides
Wiki

Stay Connected

GitHub
Twitter
RiSE @ MSR

Legal

Privacy & Cookies
Terms of Use
Trademarks

f3cbee3d | z3-solver 4.12.1 | Copyright © 2025 Microsoft Corporation.